x := 1;
y := [1,2,3] ;
b := cons(y , x)
